#include<stdio.h>

int main()
{
	int i = 0;
	for(i=0; i<10; i++)
	{
		printf("Hello Linux: %d\n",i);
	}	
	return 0;
}
Hello Linux
